Review by: Abraham Robinson: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Mathematical Foundations for Mathematics.by Leon Henkin

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1974

Language:

english

File:

PDF, 212 KB

english, 1974

2

Formalization in Biologyby J. H. Woodger

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 197 KB

english, 1960

3

Diophantine Problems Over Local Fields I.by James Ax; Simon Kochen;Diophantine Problems Over Local Fields II. A Complete set of Axioms for p-adic number theory.by James Ax; Simon Kochen;Diophantine Problems over Local Field III. Decidable Fields.by James Ax; Simon Kochen

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 146 KB

english, 1971

4

Foundations of Intuitionistic Logicby G. Kreisel

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1965

Language:

english

File:

PDF, 330 KB

english, 1965

5

Foundations of Constructive Analysis.by Errett Bishop

Review by: Abraham Robinson

Journal:

American Mathematical Monthly

Year:

1968

Language:

english

File:

PDF, 323 KB

english, 1968

6

On the Undecidability of Power Series Fields.by James Ax

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 102 KB

english, 1971

7

Les Fondements Logiques des Mathématiques.by E. W. Beth

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1960

File:

PDF, 227 KB

1960

8

The Theory of Numbersby Neal H. McCoy

Review by: Abraham Robinson

Journal:

Mathematics Magazine

Year:

1966

Language:

english

File:

PDF, 201 KB

english, 1966

9

On Definitions in Formal Systemsby Haskell B. Curry

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 336 KB

english, 1960

10

Elementary Classes Closed under Descending Intersectionby R. L. Vaught

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1967

Language:

english

File:

PDF, 333 KB

english, 1967

11

Thirty Years of Foundational Studiesby Andrzej Mostowski

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1968

Language:

english

File:

PDF, 346 KB

english, 1968

12

Constructive Real Analysisby A. A. Goldstein

Review by: Abraham Robinson

Journal:

American Scientist

Year:

1968

Language:

english

File:

PDF, 261 KB

english, 1968

13

Crisis in Central America: Regional Dynamics and U.S. Policy in the 1980sby Nora Hamilton

Review by: Abraham F. Lowenthal and Linda Robinson

Journal:

Foreign Affairs

Year:

1988

Language:

english

File:

PDF, 193 KB

english, 1988

14

Arithmetical Extensions of Relational Systemsby Alfred Tarski; Robert L. Vaught

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1967

Language:

english

File:

PDF, 238 KB

english, 1967

15

Regular Products of Modelsby A. I. Mal'cév; J. N. Whitney

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 373 KB

english, 1969

16

A Non-standard Representation of Boolean Algebras, and Applications.by John Staples

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1973

Language:

english

File:

PDF, 101 KB

english, 1973

17

Model Theory and Its Applications.by Ralph Kopperman

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1973

Language:

english

File:

PDF, 137 KB

english, 1973

18

On Arithmetical Classes Not Closed Under Direct Unionby Kurt Bing

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1956

Language:

english

File:

PDF, 195 KB

english, 1956

19

A Mathematical Characterization of Explicit Definability.by K. L. de Bouvère

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 106 KB

english, 1971

20

The Notion of Universal Completenessby Hugo Ribeiro

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1962

Language:

english

File:

PDF, 95 KB

english, 1962

21

Laws of Formby G. Spencer BROWN

Review by: Abraham Robinson

Journal:

American Scientist

Year:

1973

Language:

english

File:

PDF, 359 KB

english, 1973

22

The Validity of Equations of Complex Algebrasby N. D. Gautam

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 128 KB

english, 1958

23

Elementary (Arithmetical) Extensionsby A. Tarski; R. L. Vaught

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1967

Language:

english

File:

PDF, 210 KB

english, 1967

24

An Examination of a Decision Procedureby Francis C. Oglesby;Report: An Examination of a Decision Procedureby F. C. Oglesby

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1963

Language:

english

File:

PDF, 326 KB

english, 1963

25

Persistence and Herbrand Expansionsby Joseph S. Wholey

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 199 KB

english, 1966

26

Bildung und Mathematikby Alexander Wittenberg

Review by: Abraham Robinson

Journal:

International Review of Education

Year:

1964

Language:

english

File:

PDF, 320 KB

english, 1964

27

Contributions to the Metamathematical Theory of Ideals. I: Domains with Dense Kernelby J. Heidema; A. P. J. van der Walt;Contributions to the Metamathematical Theory of Ideals. II: Metamathematical Prime Ideals and Radicalsby J. Heidema

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 367 KB

english, 1971

28

A New Decision Method for Elementary Algebraby A. Seidenberg

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1957

Language:

english

File:

PDF, 274 KB

english, 1957

29

Sums of Squaresby Leon Henkin; G. Kreisel

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 324 KB

english, 1966

30

Mathematical Significance of Consistency Proofsby G. Kreisel

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 227 KB

english, 1966

31

Scientific Inferenceby Harold Jeffreys

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 318 KB

english, 1964

32

Empirical Explorations of the Logic Theory Machine: A Case Study in Heuristicby A. Newell; J. C. Shaw; H. A. Simon

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1962

Language:

english

File:

PDF, 169 KB

english, 1962

33

On Unions of Chains of Modelsby C. C. Chang

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 114 KB

english, 1960

34

Foundations of Mathematicsby W. S. Hatcher

Review by: Abraham Robinson

Journal:

American Scientist

Year:

1969

Language:

english

File:

PDF, 256 KB

english, 1969

35

History of Mathematical Logic from Leibniz to Peanoby N. I. STYAZHKIN

Review by: Abraham Robinson

Journal:

American Scientist

Year:

1971

Language:

english

File:

PDF, 349 KB

english, 1971

36

Decision Methods for Elementary Algebraby B. E. Meserve

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1957

Language:

english

File:

PDF, 189 KB

english, 1957

37

Classes of Models and Sets of Sentences with the Intersection Propertyby Michael O. Rabin

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1967

Language:

english

File:

PDF, 200 KB

english, 1967

38

Programming the Logic Theory Machineby A. Newell; J. C. Shaw

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1962

Language:

english

File:

PDF, 126 KB

english, 1962

39

Nicht-Standardmodelle der Zahlentheorie.by Gert H. Müller

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 198 KB

english, 1972

40

Universal Algebraby P. M. Cohn

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 367 KB

english, 1969

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски